$T${-}Detach($A$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$. Dec($A$($x$))